Set feidraidd

Mewn mathemateg, set gyda nifer meidraidd o elfennau yw set feidraidd. Yn anffurfiol, mae hefyd yn set y gellir, mewn egwyddor, gyfri pob elfen ohoni. Er enghraifft, mae

${\displaystyle \{2,4,6,8,10\}}$

yn set feidraidd gyda phump elfen. Mae'r nifer o elfennau mewn set yn rhif naturiol (cyfanrif di-negatif) ac fe'i gelwir yn "prifoledd y set" (cardinality of the set). Gelwir set nad yw'n feidraidd yn "anfeidraidd". Er enghraifft, mae'r set o bob cyfanrif positif yn anfeidraidd:

${\displaystyle \{1,2,3,\ldots \}.}$

Mae setiau meidraidd yn hynod o bwysig mewn cyfuniadeg, sef yr astudiaeth o gyfrif. Mae llawer o'r ymresymiadau sy'n ymwneud â setiau meidraidd yn dibynnu ar yr "egwyddor twll colomen" (pigeonhole principle) sy'n datgan na all ffwythiant injective fodoli - o set feidraidd fwy i set feidraidd lai.